Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Interpretación Abstracta")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 629

  • Page / 26
Export

Selection :

  • and

Intelligent tutors for all : The constraint-based approach : Intelligent educational systemsMITROVIC, Antonija; MARTIN, Brent; SURAWEERA, Pramuditha et al.IEEE intelligent systems. 2007, Vol 22, Num 4, pp 38-45, issn 1541-1672, 8 p.Article

Membrane computing : Power, efficiency, applicationsPAUN, Gheorghe.Lecture notes in computer science. 2005, pp 396-407, issn 0302-9743, isbn 3-540-26179-6, 12 p.Conference Paper

Model composition for scheduling analysis in platform designRICHTER, Kai; ZIEGENBEIN, Dirk; JERSAK, Marek et al.Design automation conference. 2002, pp 287-292, isbn 1-58113-461-4, 6 p.Conference Paper

Unleashing the power of static analysisDAS, Manuvir.Lecture notes in computer science. 2006, pp 1-2, issn 0302-9743, isbn 3-540-37756-5, 1Vol, 2 p.Conference Paper

VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005)Cousot, Radhia.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-24297-X, XI, 481 p, isbn 3-540-24297-XConference Proceedings

Membrane systems : A quick introductionPAUN, Gheorghe.Lecture notes in computer science. 2005, pp 188-195, issn 0302-9743, isbn 3-540-27884-2, 8 p.Conference Paper

Transformation based communication and clock domain refinement for system designSANDER, Ingo; JANTSCH, Axel.Design automation conference. 2002, pp 281-286, isbn 1-58113-461-4, 6 p.Conference Paper

Symbolic Execution for Software Testing: Three Decades LaterCADAR, Cristian; SEN, Koushik.Communications of the ACM. 2013, Vol 56, Num 2, pp 82-90, issn 0001-0782, 9 p.Article

Verification, model checking, and abstract interpretation (7th international conference, VMCAI 2006, Charleston SC, USA, January 8-10, 2006)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-31139-4, 1Vol, XI-442 p, isbn 3-540-31139-4Conference Proceedings

The trace partitioning abstract domainRIVAL, Xavier; MAUBORGNE, Laurent.ACM transactions on programming languages and systems. 2007, Vol 29, Num 5, issn 0164-0925, b39-b89Conference Paper

Relative safetyJAFFAR, Joxan; SANTOSA, Andrew E; VOICU, Ravan et al.Lecture notes in computer science. 2006, pp 282-297, issn 0302-9743, isbn 3-540-31139-4, 1Vol, 16 p.Conference Paper

The octahedron abstract domainCLARISO, Robert; CORTADELLA, Jordi.Lecture notes in computer science. 2004, pp 312-327, issn 0302-9743, isbn 3-540-22791-1, 16 p.Conference Paper

Converting one type-based abstract domain to anotherGALLAGHER, John P; PUEBLA, German; ALBERT, Elvira et al.Lecture notes in computer science. 2006, pp 147-162, issn 0302-9743, isbn 3-540-32654-5, 1Vol, 16 p.Conference Paper

Model-based searchRUML, Wheeler.Lecture notes in computer science. 2005, pp 365-366, issn 0302-9743, isbn 3-540-27872-9, 2 p.Conference Paper

Widening Polyhedra with LandmarksSIMON, Axel; KING, Andy.Lecture notes in computer science. 2006, pp 166-182, issn 0302-9743, isbn 3-540-48937-1, 1Vol, 17 p.Conference Paper

Testing for termination with monotonicity constraintsCODISH, Michael; LAGOON, Vitaly; STUCKEY, Peter J et al.Lecture notes in computer science. 2005, pp 326-340, issn 0302-9743, isbn 3-540-29208-X, 1Vol, 15 p.Conference Paper

Recency-abstraction for heap-allocated storageBALAKRISHNAN, Gogul; REPS, Thomas.Lecture notes in computer science. 2006, pp 221-239, issn 0302-9743, isbn 3-540-37756-5, 1Vol, 19 p.Conference Paper

Higher-order abstract non-interferenceZANARDINI, Damiano.Lecture notes in computer science. 2005, pp 417-432, issn 0302-9743, isbn 3-540-25593-1, 16 p.Conference Paper

On the rôle of abstract non-interference in language-based securityMASTROENI, Isabella.Lecture notes in computer science. 2005, pp 418-433, issn 0302-9743, isbn 3-540-29735-9, 1Vol, 16 p.Conference Paper

Abstract interpretation of proofs: Classical propositional calculusHYLAND, Martin.Lecture notes in computer science. 2004, pp 6-21, issn 0302-9743, isbn 3-540-23024-6, 16 p.Conference Paper

Hiord: A type-free higher-order logic programming language with predicate abstractionCABEZA, Daniel; HERMENEGILDO, Manuel; LIPTON, James et al.Lecture notes in computer science. 2004, pp 93-108, issn 0302-9743, isbn 3-540-24087-X, 16 p.Conference Paper

Precise widening operators for convex polyhedraBAGNARA, Roberto; HILL, Patricia M; RICCI, Elisa et al.Lecture notes in computer science. 2003, pp 337-354, issn 0302-9743, isbn 3-540-40325-6, 18 p.Conference Paper

Verification by abstract interpretationCOUSOT, Patrick.Verification : theory and practice (essays dedicated to Zohar Manna on the occasion of this 64th birthday). Lecture notes in computer science. 2003, pp 243-268, issn 0302-9743, isbn 3-540-21002-4, 26 p.Book Chapter

Lazy abstraction with interpolantsMCMILLAN, Kenneth L.Lecture notes in computer science. 2006, pp 123-136, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 14 p.Conference Paper

Universality results for models in locally boolean domainsLOW, Tobias; STREICHER, Thomas.Lecture notes in computer science. 2006, pp 456-470, issn 0302-9743, isbn 3-540-45458-6, 1Vol, 15 p.Conference Paper

  • Page / 26